Opportunistically Parallel Lambda Calculus
dl.acm.orgยท21hยท
Discuss: Hacker News
๐ŸŒฑMinimal Languages
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท16h
๐Ÿ“ŠLog Parsers
Flag this post
Exhaustive Guide to Generative and Predictive AI in AppSec
qwiet.aiยท11hยท
Discuss: DEV
๐Ÿ›ก๏ธTaint Analysis
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skยท11hยท
๐Ÿ“กErlang BEAM
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ชProgram Slicing
Flag this post
Top Five Trends In RTL Signoff
semiengineering.comยท1d
๐Ÿ‘‘Dominator Analysis
Flag this post
Durable execution workflow system based on Postgres
github.comยท6hยท
Discuss: Hacker News
๐Ÿ“กErlang BEAM
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โš–๏ธInference Rules
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.comยท2dยท
Discuss: Hacker News
๐ŸงชCompiler Testing
Flag this post
Enhancing Workflow Efficiency via Dynamic Task Prioritization & Adaptive Resource Allocation
dev.toยท1dยท
Discuss: DEV
๐Ÿ“‹Task Queues
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Ajla Tutorial
ajla-lang.czยท19hยท
Discuss: Hacker News
๐Ÿ”ฎLisp Interpreters
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.meยท1dยท
Discuss: Hacker News
๐Ÿ”€SIMD Programming
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
โœ…Type Checking
Flag this post
Implemented arc-lightning with Rust
reddit.comยท23hยท
Discuss: r/godot
๐Ÿ”’Rust Borrowing
Flag this post
7 AI Study Workflows Developers Use to Learn Faster (Prompt Recipes Included)
coursiv.ioยท9hยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.toยท21hยท
Discuss: DEV
๐ŸŽฏPattern Matching
Flag this post
Continuous Performance Testing: staying fast
tweag.ioยท1d
๐Ÿ“ˆPerformance Tools
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.comยท10h
๐Ÿ’ฌSmalltalk VMs
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
๐Ÿ”—Go Generics
Flag this post